s:QOSet. Trans(|s|;x,y.x  y) 

latex

Up	sets 1
Definitions of Statement	DSet, QOSet
Definitions	t  T, P  Q, Trans(T;x,y.E(x;y)), x:A. B(x), DSet, QOSet,
Lemmas	qoset wf, set car wf, set leq wf, qoset trans